A type

Results: 14516



#Item
211

Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

Add to Reading List

Source URL: hott-uf.gforge.inria.fr

Language: English - Date: 2016-03-10 17:41:39
    212

    Steve Kass* () and Kathleen Madden. A sufficient condition for non-soficness of higher-dimensional subshifts. A shift space is called sofic if it is a factor of a shift of finite type, and in

    Add to Reading List

    Source URL: jointmathematicsmeetings.org

    - Date: 2013-09-17 01:50:43
      213

      Standard Specifications Type MS3766H MS3700 Slim-shaped Plug-in Analog Memory Conditioner with Isolated Single Output Overview MS3766H is a slim-shaped plug-in analog memory

      Add to Reading List

      Source URL: www.mtt.co.jp

      Language: English - Date: 2012-10-22 00:18:39
        214

        Consulting Offerings Review Service Description We offer five types of consulting. If you require assistance in choosing what type of consulting you need we will spend 30 minutes talking at a high level about your needs.

        Add to Reading List

        Source URL: app.etapestry.com

        Language: English - Date: 2014-04-28 09:16:14
          215

          Home Inspection Checklist This is not intended to be a complete or exhaustive list of maintenance or safety items of the type provided with a professional NPI inspection report. It is simply a starting point or possible

          Add to Reading List

          Source URL: www.npiweb.com

          Language: English - Date: 2007-05-09 10:42:00
            216

            New York Journal of Mathematics New York J. Math. 17a–244. The Riccati differential equation and a diffusion-type equation Erwin Suazo, Sergei K. Suslov

            Add to Reading List

            Source URL: nyjm.albany.edu

            Language: English - Date: 2011-01-27 18:27:14
              217

              Exhibit A: Revised FY2015 and FY2016 San Mateo County Shuttle Program Recommended Project List for Award New or Existing Service Type Total Cost

              Add to Reading List

              Source URL: www.smcta.com

              Language: English - Date: 2015-01-12 13:54:53
                218

                Program Portability Strong Type Checking Lint, a C Program Checker S. C. Johnson ABSTRACT

                Add to Reading List

                Source URL: wolfram.schneider.org

                Language: English - Date: 2017-01-03 15:20:46
                  219

                  Organization Registration Checklist The following checklist provides registration guidance for a company, institution, state, local or tribal government, or other type of organization. The registration process is a one -

                  Add to Reading List

                  Source URL: www.fpir.noaa.gov

                  Language: English - Date: 2016-12-02 13:29:03
                    220

                    TECHNOLOGY All Electromagnetic design and simulation tools essentially involve a mathematical model. The type of model used normally depends on parameters such as the required accuracy, the total simulation time, the typ

                    Add to Reading List

                    Source URL: www.magnitudesigns.com

                    Language: English - Date: 2018-04-17 04:32:13
                      UPDATE